Architektur einer flexiblen, wiederverwendbaren Testbench zur Verifikation paketverarbeitender Hardware in SystemC
نویسندگان
چکیده
Selbst mit den neuesten Modellierungswerkzeugen und dem Einzug von Objektorientierung und Abstraktion in die Hardware-Entwicklung ist der Aufwand für die Verifikation immer noch bestimmend für den gesamten Entwurfsprozess. Wiederverwendbarkeit und Flexibilität sind deshalb aus ökonomischer Sicht unabdingbar. Es wird eine SystemC-Verifikationsumgebung vorgestellt, die sich besonders für paketverarbeitende Hardware und Systeme eignet. Der Fokus liegt dabei auf Wiederverwendbarkeit und leichte Portierbarkeit auf zukünftig zu verifizierende Designs. Weiterhin bietet dieses Framework die Möglichkeit, nicht nur textuelle Hardwarebeschreibungen während der verschiedenen Entwurfsschritte eines Designs zu verifizieren, sondern das Design auch zusätzlich auf der Zielplattform den gleichen Testfällen zu unterziehen, zum Beispiel auf einem Entwicklungsboard.
منابع مشابه
Virtualisierung rekonfigurierbarer Hardware zur Steigerung der Rechenleistung und Sicherheit in einer flexiblen Cloud-Architektur
Rechenleistung und Skalierbarkeit sind essentielle Bestandteile moderner Rechenzentren. Spezielle rekon®gurierbare Hardwarebeschleuniger wie FPGAs (Field Programmable Gate Arrays) stellen eine Möglichkeit dar, um sowohl Rechenleistung, als auch die Energieef®zienz zu steigern, da die Architektur direkt an die Problemstellung angepasst werden kann. Insbesondere bei der Hintergrundbeschleunigung ...
متن کاملFunktionale Verifikation eingebetteter Systeme: Techniken und Werkzeuge auf Systemebene
Aufgrund der rasch zunehmenden Komplexität eingebetteter Systeme ergab sich die Notwendigkeit, die Abstraktionsebene im Systementwurf anzuheben. Es wurde die elektronische Systemebene geschaffen, auf der die Systembeschreibungssprache SystemC und die Konzepte zur Modellierung auf Transaktionsebene (engl. Transaction Level Modeling, TLM) große Bedeutung erlangten. TLM-Modelle, die in SystemC ges...
متن کاملTestfallgenerierung für SystemC-Designs mit abstrakten Modellbeschreibungen
Bei dem Entwurf von eingebetteten Systemen spielt die Verifikation eine entscheidende Rolle. SystemC hat sich für die Modellierung gemischter Hardware/SoftwareSysteme, vor allem auf hoher Abstraktionsebene, durchgesetzt. Für solche High-level SystemC-Modelle existieren allerdings heutzutage keine Werkzeuge zur formalen Verifikation, weshalb oftmals simulative Verfahren zur Verifikation der Mode...
متن کاملKontextbasierte Adaption kooperativer Arbeitsbereiche
Die kontextbasierte Adaption von gemeinsamen Arbeitsbereichen kann helfen, ihr Verhalten an die wechselnden Bedürfnisse von Teams anzupassen. Auf Basis einer OWL-basierten Repräsentation des Gruppenkontexts und einer flexiblen, dienstbasierten Architektur können Adaptionsregeln zur Anpassung des kooperativen Arbeitsbereichs formuliert und ausgeführt werden. Erste Tests belegen die Realisierbark...
متن کاملRealweltbasiertes Informationsmodell als grundlegender Bestandteil einer serviceorientierten und flexiblen Hochschul-IT
Auf dem Weg zur Hochschule 2020 sind hohe Betriebskosten, kaum vorhandene Erweiterbarkeit der Anwendungslandschaft aufgrund eng gekoppelter Anwendungen, schlechte Datenqualität und aufwendige Datenmigrationen Herausforderungen, die jede Hochschule zu lösen hat. Gerade Projekte zur Erneuerung der IT-Landschaft geraten durch diese Rahmenbedingungen in zeitliche und finanzielle Bedrängnis. Als Lös...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007